Doctor: an Integrated so Ftware Fault Injec T Io N Envir Onment

نویسندگان

  • Seungjae Han
  • Harold A. Rosenberg
  • Kang G. Shin
چکیده

This paper presents an integrateD sO ftware fault injeC T iO n enviR onment (DOCTOR) which is capable of injecting various types of faults with diierent options, automatically collecting performance and dependability data, and generating synthetic workloads under which system dependability is evaulated. A comprehensive graphical user interface is also provided. A special emphasis is given to the portability of this dependability experiment tool set. The fault-injection tool supports three types of faults: processor faults, memory faults, and communication faults. It also allows for injecting permanent, transient or intermittent faults. The proposed design methodology for DOCTOR has been implemented on a distributed real-time system called HARTS 1], and its capability is demonstrated through numerous experiments. Dependability measures, such as detection coverage & latency and the associated performance overhead, are evaluated through extensive experiments. Communication fault injection is used to evaluate a probabilistic distributed diagnosis algorithm. The results show that the algorithm performs better than its predicted worst case, yet is quite sensitive to various coverage and inter-processor test parameters. Any opinions, ndings, and conclusions or recommendations expressed in this paper are those of the authors and do not necessarily reeect the views of the funding agencies.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Aircraft Design Problem Implementation under the Common Object Request Broker Architecture

The paper descr ibes a compo nent-based compu tationa l envir onment for imple menting aircr aft desig n probl ems. The envir onment is condu cive to takin g advanta ge of the paral lelisms inher ent in the probl em and distr ibute the indiv idual disci plines on machi nes most appro priate to their needs while insul ating the developer and the user from the compl exity of the underly ing commu...

متن کامل

Nearness diagram navigation (ND): a new real time collision avoidance approach

This paper presents a new real-time collision avoidance approach for mobile robots. The Nearness Diagram method (ND) performs a high level information extraction and interpr etation of the envir onment. Subsequently, this information is used to gener ate the motion commands. The proposed approach is well-suited to deal with unknown, unstructur edand dynamic envir onments,where problems of other...

متن کامل

Eecient Methods for Embedded System Design Space Exploration

Design space exploration is the process of analyzing several functionally equivalent alternatives to determine the most suitable one. The synchronous assumption has made it possible to develop e cient procedures for establishing functional equivalence betw een di erent implementations in the domain of synchronous circuits as well as in the domain of sync hronous reactive systems. We extend this...

متن کامل

Quality of Service in Heterogeneous Distributed Systems

The future distribute dsystems will be very heteroge ne ous They will consist of end computing systems with widely varying capabilities inter connected by networks which o er very di erent services Delivering data with a guarante edlevel of servic e is a real problem that re quir es both support at the network level integrated ser vices networks and a QoS Quality of Servic e man agement envir o...

متن کامل

Proefschrift_chapter 10_Linskens

m o n o ch o ri o n ic /d ia m n io ti c tw in g es ta ti o n s: a s ys te m at ic li te ra tu re r ev ie w . J U lt ra so u n d M ed 2 0 0 7 N o v; 26 (1 1) :1 4 91 -8 . 3) E va n s M I, G o ld b er g JD , H o re n st ei n J, W ap n er R J, A yo u b M A , S to n e J, e t al . S el ec ti ve t er m in at io n f o r st ru ct u ra l, ch ro m o so m al , a n d m en d el ia n a n o m al ie s: in te ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995